Universal extensions of specialization semilattices

نویسندگان

چکیده

A specialization semilattice is a join together with coarser preorder $ \sqsubseteq satisfying an appropriate compatibility condition. If $X$ topological space, then $(\mathcal P(X), \cup, )$ semilattice, where x y$ if $x \subseteq Ky$, for $x,y X$, and $K$ closure. Specialization semilattices posets appear as auxiliary structures in many disparate scientific fields, even unrelated to topology. For short, the notion useful since it allows us consider relation of "being generated by" no need require existence actual "closure" or "hull", which might be problematic certain contexts. In former work we showed that every can embedded into associated space above. Here describe universal embedding additive closure semilattice. We notice categorical argument guarantees embeddings parallel situations.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modelling Specialization as BLOOM semilattices

The capabilities of a data model to represent any conceptualization (expressiveness) are very important for faithful modelling. Focusing on the generalization/specialization dimension, unique features of the BLOOM model are presented: specialization criteria, four kinds of specialization, usage of specialization metaclasses, transitive specializations, combinations of specializations that autom...

متن کامل

Canonical Extensions and Profinite Completions of Semilattices and Lattices

Canonical extensions of (bounded) lattices have been extensively studied, and the basic existence and uniqueness theorems for these have been extended to general posets. This paper focuses on the intermediate class S∧ of (unital) meet semilattices. Any S ∈ S∧ embeds into the algebraic closure system Filt(Filt(S)). This iterated filter completion, denoted Filt(S), is a compact and ∨∧ -dense exte...

متن کامل

Universal Extensions

In the category of left modules over a unital ring we show that a left exact reflector determines, for each n ≥ 1, a torsion theoretic setting in which universal extensions of length n exist. Combined with recent work of Rodelo-Van der Linden [9] this establishes the existence of universal central extensions of groups and Lie algebras. Interpreted in the homotopy category of topological spaces,...

متن کامل

Universal extensions to simulate specifications

A previous paper introduced eternity variables as an alternative to the prophecy variables of Abadi and Lamport and proved the formalism to be semantically complete: every simulation F : K −. L that preserves quiescence contains a composition of a history extension, an extension with eternity variables, and a refinement mapping. This result is strengthened here in three ways. Firstly, the assum...

متن کامل

Equidistribution Questions for Universal Extensions

Let k be a field, C/k a proper, smooth, geometrically connected curve of genus g ≥ 1 given with a marked rational point 0 ∈ C(k), JC/k := Pic 0 C/k its Jacobian. Concretely, the group JC(k) is the group (under tensor product) of isomorphism classes of invertible sheaves L on C of degree zero. Given a point P ∈ C(k), we denote by I(P ) ⊂ OC the ideal sheaf of functions vanishing at P . Given P1,...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Categories and general algebraic structures with applications

سال: 2022

ISSN: ['2345-5853', '2345-5861']

DOI: https://doi.org/10.52547/cgasa.2022.102467